Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
251	Computable Structures: Presentations Matter Richard A. Shore∗ Department of Mathemcatics Cornell Univeristy Ithaca NY 14853 Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-12-01 12:15:32 Applied mathematics Logic Computable isomorphism Turing reduction Recursive set Enumeration Low Recursively enumerable set Mathematical logic Computability theory Theory of computation Mathematics
252	On Aggregating Teams of Learning Machines Sanjay Jain Department of Information Systems and Computer Science National University of Singapore Singapore 0511, Republic of Singapore Email: [removed] Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-03-10 23:00:58 Logic Computer science Theory of computation Automata theory Models of computation Computable function Computability Formal grammar Model theory Formal languages Theoretical computer science Computability theory
253	Quantifiers and n-ary Binders: an OpenMath Standard Enhancement Proposal Lars Hellstr¨om Department of Mathematics and Mathematical Statistics, Ume˚ a University, Ume˚ a, Sweden; Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:50:41 Predicate logic Markup languages Mathematical markup languages Computability theory OpenMath First-order logic Quantification MathML Lambda calculus Logic Mathematical logic Mathematics
254	Introduction to Lambda Calculus Henk Barendregt Erik Barendsen Revised edition Add to Reading List Source URL: ftp.cs.ru.nl Language: English - Date: 2008-07-15 17:50:58 Formal methods Models of computation Elementary mathematics Combinatory logic Free variables and bound variables Function Variable De Bruijn index Spectral theory of ordinary differential equations Mathematics Lambda calculus Computability theory
255	Innovations in Computational Type Theory using Nuprl S. F. Allen, M. Bickford, R. L. Constable, R. Eaton, C. Kreitz, L. Lorigo, E. Moran Department of Computer Science, Cornell-University, Ithaca, NY[removed] {sfa,mark Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2005-06-21 10:54:34 Type theory Logic in computer science Dependently typed programming Computability theory Intuitionistic type theory Curry–Howard correspondence Natural deduction Lambda calculus Combinatory logic Mathematics Logic Mathematical logic
256	DIRECT LINKS TO ELECTRONIC JOURNALS ABSTRACT AND APPLIED ANALYSIS Online from 1996 to most current issue Distribution: 1 issue annually http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&page=past&handle= Add to Reading List Source URL: tulane.edu Language: English - Date: 2012-01-03 11:31:25 ACM Transactions on Programming Languages and Systems Mass media Academic publishing Computability logic Publishing Annals of Applied Probability American Mathematical Monthly
257	Compact Representation for Answer Sets of n-ary Regular Queries by Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-07-14 21:35:59 Model theory Functions and mappings Computability theory Structure FO Constructible universe Function Arity Linear temporal logic Mathematics Mathematical logic Universal algebra
258	Samuel A. Alexander Research Statement 1 Applications of Mathematics to Theoretical Computer Science 1.1 Knowing machines . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 A machine that knows its own code . . . Add to Reading List Source URL: www.semitrivial.com Language: English - Date: 2014-01-16 13:36:26 Logic Ordinal numbers Theory of computation Turing jump Recursively enumerable set Proof theory Ordinal arithmetic Enumeration Algorithm Mathematical logic Mathematics Computability theory
259	Microsoft Word - RML.TOWARDS Add to Reading List Source URL: www.tezeusz.pl Language: English - Date: 2010-10-07 18:00:00 Formal methods Computability theory Lambda calculus Theoretical computer science Function Mereology Modal logic Mathematical logic Mathematics Logic
260	SOME AXIOMS FOR CONSTRUCTIVE ANALYSIS JOAN RAND MOSCHOVAKIS AND GARYFALLIA VAFEIADOU Abstract. This note explores the common core of constructive, intuitionistic, recursive and classical analysis from an axiomatic standp Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2011-06-07 15:01:39 Functions and mappings Computability theory Intuitionism Mathematical constructivism Logic in computer science Constructible universe Constructivism First-order logic Primitive recursive function Mathematical logic Mathematics Logic

UPDATE